Terminology Extraction Techniques for Improving Traceability from Formal Models to Textual Requirements
نویسنده
چکیده
This article deals with traceability in sotfware engineering. More precisely, we concentrate on the role of terminological knowledge in the mapping between (informal) textual requirements and (formal) object models. We show that terminological knowledge facilitates the production of traceability links, provided that language processing technologies allow to elaborate semi-automatically the required terminolog-ical resources. The presented system is one step towards incremental formalization from textual knowledge.
منابع مشابه
Integrating Textual Knowledge and Formal Knowledge for Improving Traceability (Short Paper)
This article deals with traceability in knowledge repositories. More precisely, we concentrate on the role of terminological knowledge in the mapping between (informal) textual requirements and (formal) object models. We show that terminological knowledge facilitates the production of traceability links and model generation, provided that language processing technologies allow to elaborate semi...
متن کاملRequirement Tracing using Term Extraction
Requirements traceability is an essential step in ensuring the quality of software during the early stages of its development life cycle. Requirements tracing usually consists of document parsing, candidate link generation and evaluation and traceability analysis. This paper demonstrates the applicability of Statistical Term Extraction metrics to generate candidate links. It is applied and vali...
متن کاملRequirements Traceability between Textual Requirements and Formal Models Using ProR
Traceability within a system description is a challenging problem of requirements engineering [1]. In particular, formal models of the system are often based on informal requirements, but creating and maintaining the traceability between the two can be challenging. In [2], we presented an incremental approach for producing a system description from an initial set of requirements. The foundation...
متن کاملOn the generation of requirements specifications from software engineering models: A systematic literature review
0950-5849/$ see front matter 2009 Elsevier B.V. A doi:10.1016/j.infsof.2009.04.001 * Corresponding author. Tel.: +34 968 39 85 25; fax E-mail addresses: [email protected] (J. Nicolás), atoval@um System and software requirements documents play a crucial role in software engineering in that they must both communicate requirements to clients in an understandable manner and define requirements in precise d...
متن کاملBridging the gap between KAOS requirements models and B specifications
Employing formal methods for complex systems specification is steadily growing from year to year. Whereas the formal specification process from abstraction to implementation via refinement is well understood, the traceability between initial user requirements (requirements analysis) and the corresponding formal specification is still unsatisfying and ambiguous. In fact, there is little research...
متن کامل